package gov.nasa.anml.lifted;

import gov.nasa.anml.PDDL;
import gov.nasa.anml.State;
import gov.nasa.anml.PDDL.Argument;
import gov.nasa.anml.PDDL.Expression;
import gov.nasa.anml.PDDL.Time;
import gov.nasa.anml.utility.SimpleFloat;
import gov.nasa.anml.utility.SimpleObject;
import gov.nasa.anml.utility.SimpleVoid;

public class Skip extends ExpressionImp<SimpleVoid,SimpleVoid> implements ChainableExpression<SimpleVoid,SimpleVoid>{
	
	public Skip() {
	}

	public boolean apply(State p, int contextID, State c) {
		return true;
	}
	
	public void translateDecl(PDDL pddl, Interval unit) {
	}

	public void translateStmt(PDDL pddl, Interval unit, Time part) {
	}

	public Time splitFirst(Time t) {
		return Chain.splitFirst(t);
	}

	public Time splitRest(Time t) {
		return Chain.splitRest(t);
	}

	public History<SimpleVoid> storage(State p, State c) {
		return null;
	}

	public Argument translateArgument(PDDL pddl, Interval unit) {
		return null;
	}

	public PDDL.Expression translateExpr(PDDL pddl, Interval unit) {
		return pddl.TrueCondition;
	}

	public PDDL.Expression translateLValue(PDDL pddl, Interval unit) {
		return pddl.TrueRef;
	}

	public TypeCode typeCode() {
		return TypeCode.Void;
	}

	public SimpleVoid value(State s) {
		return null;
	}

}


